Linear logic - PDFSEARCH.IO - Document Search Engine

Linear logic
Results: 927

#	Item
551	K-3 Impact Evaluation of the Minnesota Reading Corps Appendices Add to Reading List Source URL: www.nationalservice.gov Language: English - Date: 2014-03-19 00:48:01 Statistics Impact assessment Impact evaluation Observational study Philosophy of science Logic model Sensitivity analysis Linear regression Project Follow Through Evaluation Evaluation methods Science
552	Enumeration and exact design of weighted voting games Bart de Keijzer∗ Tomas Klos Yingqian Zhang Add to Reading List Source URL: bart.pakvla.nl Language: English - Date: 2014-01-30 11:09:01 Algorithm Mathematical logic Theoretical computer science Cooperative game Linear programming Mathematics Applied mathematics Game theory
553	Experiences in Applying Formal Verification in Robotics? Dennis Walter, Holger Täubig, and Christoph Lüth Deutsches Forschungszentrum für Künstliche Intelligenz Bremen, Germany {Dennis.Walter,Holger.Taeubig,Christoph Add to Reading List Source URL: www.informatik.uni-bremen.de Language: English - Date: 2010-08-13 06:19:51 Formal methods Logic in computer science Linear algebra Formal verification Forcing Correctness Constructible universe Ordinal number Vector space Mathematics Algebra Theoretical computer science
554	Microsoft Word - FIS_and_RL_Sozopol.doc Add to Reading List Source URL: www.uni-magdeburg.de Language: English - Date: 2007-04-25 12:08:45 Abstract algebra Linear algebra Control engineering Fuzzy control system Function Vector space Algebra Mathematics Fuzzy logic
555	ums08h26homogeneousfunctions.dvi Add to Reading List Source URL: www.econ.ucsb.edu Language: English - Date: 2009-10-28 14:22:53 Lambda calculus Homogeneous function Linear algebra Spectral theory Combinatory logic Spectral theory of ordinary differential equations Mathematics Mathematical analysis Theoretical computer science
556	Prior-based Segmentation and Shape Registration in the Presence of Perspective Distortion Tammy Riklin-Raviv † Nahum Kiryati Add to Reading List Source URL: www.math.tau.ac.il Language: English - Date: 2006-06-26 12:31:22 Collineation Segmentation Static single assignment form Interpretation Mathematics Logic Linear temporal logic Golden ratio base Geometry Limit Calculus of variations
557	Learning Techniques for Pseudo-Boolean Solving Jos´e Santos IST/UTL, INESC-ID, Portugal Vasco Manquinho IST/UTL, INESC-ID, Portugal Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2008-11-12 11:31:22 Applied mathematics Boolean satisfiability problem Constraint learning Local consistency Linear programming Solver GRASP Logic programming Constraint satisfaction Theoretical computer science Constraint programming Declarative programming
558	55 MORE ABOUT THRESHOLD LOGIC R. O. Winder RCA Laboratories Princeton, New Jersey Add to Reading List Source URL: deeplearning.cs.cmu.edu Language: English - Date: 2014-08-27 00:41:52 Functions and mappings Operator theory Abstract algebra Linear algebra Linear map Transformation Fréchet derivative Oscillator semigroup Mathematical analysis Mathematics Algebra
559	c 2001 Society for Industrial and Applied Mathematics SIAM J. SCI. COMPUT. Vol. 22, No. 6, pp. 2093–2108 Add to Reading List Source URL: www.math.nyu.edu Language: English - Date: 2006-01-22 02:32:06 Mathematics Multipole expansion Vector calculus Symbol Spherical harmonics Multipole moment Linear temporal logic Spectral theory of ordinary differential equations Mathematical analysis Calculus Potential theory
560	Linear Logic symbols for Computer Modern Emmanuel Beffara April 20, 2010 1 Add to Reading List Source URL: ftp.ctex.org Language: English - Date: 2010-04-20 10:48:00 Consejo Mundial de Lucha Libre Sport in Mexico Professional wrestling tournaments Professional wrestling Symbol Ampersand

UPDATE